Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
501	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:27:16 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
502	Microsoft Word - TUDI002.doc Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2002-07-08 19:12:48 Automation EPICS Spallation Neutron Source Programmable logic controller Industrial control system Distributed control system Control system Oak Ridge National Laboratory Linear particle accelerator Physics Technology Science
503	Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-03 09:38:31 Linear temporal logic Temporal logic
504	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-19 16:17:18 Recursion Constructible universe Forcing Fixed-point combinator Μ operator Linear temporal logic Mathematical logic Theoretical computer science Mathematics
505	LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed] Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-17 10:18:47 Mathematical analysis Structure Integral transforms Logic Holomorphic functional calculus Decomposition of spectrum Mathematics Metalogic Model theory
506	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-07-06 11:08:16 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
507	MC34161, MC33161 Universal Voltage Monitors The MC34161/MC33161 are universal voltage monitors intended for use in a wide variety of voltage sensing applications. These devices offer the circuit designer an economical so Add to Reading List Source URL: www.intusoft.com Language: English - Date: 2011-03-23 12:52:48 Analog circuits Electronic circuits Integrated circuits Digital electronics Comparator Linear regulator IC power supply pin Voltage divider Logic level Electronic engineering Electronics Electromagnetism
508	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
509	Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-14 10:59:30 Logic programming Science Consumer theory Social psychology Preference Contraction Axiom Belief revision Knowledge representation Logic
510	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics

UPDATE